gtkmenu: displace popups by their css margin
authorLars Uebernickel <lars.uebernickel@canonical.com>
Wed, 5 Mar 2014 11:59:24 +0000 (12:59 +0100)
committerLars Uebernickel <lars.uebernickel@canonical.com>
Thu, 6 Mar 2014 09:44:28 +0000 (10:44 +0100)
commita5d5106fcff1092bc2696ea031b67baeb048c546
tree1dd08c41079946f79db07bba526b6cb5b93f1f6e
parent158cb29e55d8de5133d1583d436e0697931692f0
gtkmenu: displace popups by their css margin

Without a margin, the pointer is above the first (or last) menu item,
making it easy to accidentally activate that item.

https://bugzilla.gnome.org/show_bug.cgi?id=591258
gtk/gtkmenu.c